标准件功能 - Maeckes

< 1 >

在非标准分析中，标准部分函数是一个从有限的（有限的）超真实数到真实数的函数。

每一个有限的 x ∈ *R 都无限接近于一个唯一的实数 r ∈ R。唯一的实数 r ≈ x 被称为 x 的标准部分，你把它写成

r = st (x)

如果 x 是无限的，st (x) 是未定义的。

该函数首次由德裔美国数学家亚伯拉罕-罗宾逊（1918-1974）定义。